Designing sustainable and responsible wine tourism experiences

Wine tourism involves a wide ecosystem of actors. It is not only a source of revenue for wine regions, for the wine business value chain and for local societies, but it can also reveal and safeguard the cultural heritage of wine and support wine regions sustainability. Wine in Moderation – Art de Vivre is an international programme of the wine sector for a sustainable wine culture looking to inspire well-being and contribute to the reduction of alcohol related harm. The article recognises the opportunity which arises through wine tourism, to introduce the visitor directly to wine culture and to educate him on how to best appreciate wine in moderation and responsibly, while looking to present activities and sustainable wine tourism business models that place sensible consumption in the design of their visitor experience. The article takes into consideration current consumer, policy and business trends, principles of sustainable business models, design thinking and systems’ theory, and good practices developed in the framework of the 10 years of the Wine in Moderation programme, to understand how to develop a sustainable wine tourism experience and help create and capture value for wineries, local communities and the wider wine tourism ecosystem. Sustainable wine tourism is an opportunity for growth for the wine value chain. Organising better the visiting areas and offering choices to the guest to experience wine responsibly will prove beneficial both for operators and visitors. Co-creation can provide solutions and far more services which visitors would be willing to experience and pay for. In a growing wine tourism market, wineries and related actors should be fit for purpose, creative and open for partnerships. Adapting a systemic approach, transforming and expanding current business model will be necessary to fully capitalise on the potential of more open and sustainable societies and economies

Fixed-point elimination in the intuitionistic propositional calculus

It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal

Logics for Rough Concept Analysis

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a `nondistributive' (i.e. general lattice-based) setting

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^{\omega}, is then given. We show that both are sound and complete with respect to standard models of PDL and, further, that G3PDL^{\infty} is cut-free complete. We additionally investigate proof-search strategies in the cyclic system for the fragment of PDL without tests

Designing sustainable and responsible wine tourism experiences

Wine tourism involves a wide ecosystem of actors. It is not only a source of revenue for wine regions, for the wine business value chain and for local societies, but it can also reveal and safeguard the cultural heritage of wine and support wine regions sustainability. Wine in Moderation – Art de Vivre is an international programme of the wine sector for a sustainable wine culture looking to inspire well-being and contribute to the reduction of alcohol related harm. The article recognises the opportunity which arises through wine tourism, to introduce the visitor directly to wine culture and to educate him on how to best appreciate wine in moderation and responsibly, while looking to present activities and sustainable wine tourism business models that place sensible consumption in the design of their visitor experience. The article takes into consideration current consumer, policy and business trends, principles of sustainable business models, design thinking and systems’ theory, and good practices developed in the framework of the 10 years of the Wine in Moderation programme, to understand how to develop a sustainable wine tourism experience and help create and capture value for wineries, local communities and the wider wine tourism ecosystem. Sustainable wine tourism is an opportunity for growth for the wine value chain. Organising better the visiting areas and offering choices to the guest to experience wine responsibly will prove beneficial both for operators and visitors. Co-creation can provide solutions and far more services which visitors would be willing to experience and pay for. In a growing wine tourism market, wineries and related actors should be fit for purpose, creative and open for partnerships. Adapting a systemic approach, transforming and expanding current business model will be necessary to fully capitalise on the potential of more open and sustainable societies and economies